\bigskip
\bigskip
{\magonebf 2.1 Boolean Values (bool)}

An instance of the data type $bool$ has either the value $true$ or $false$. 
The usual \CC logical operators \&\& (and), $||$ (or), ! (negation) are 
defined for $bool$. 
